structure S =
struct
  type 'a t (= *)
  val x : 'a t
end
